Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
821	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic Sergey Berezin, Vijay Ganesh, and David L. Dill Stanford University {berezin,vganesh,dill}@stanford.edu Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2007-03-24 22:33:28 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Fourier–Motzkin elimination Satisfiability Modulo Theories Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
822	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
823	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
824	Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 10:52:48 Mathematics Kripke semantics Interpretation Bisimulation Structure Constructible universe Modal logic Μ operator Linear temporal logic Logic Model theory Mathematical logic
825	Chapter 1 Perception and Change in Update Logic Jan van Eijck Abstract Three key ways of updating one’s knowledge are (i) perception of states Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-18 09:31:16 Modal logic Golden ratio Numbers Common knowledge Epistemology Mathematics Linear temporal logic Logic Artificial intelligence Epistemic modal logic
826	Logic of Information Flow on Communication Channels Yanjing Wang, Floor Sietsma and Jan van Eijck Centrum Wiskunde en Informatica, y.wang, f.sietsma, [removed] Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:10:08 Constructible universe Common knowledge Logic Science Linear temporal logic Artificial intelligence Epistemic modal logic Modal logic
827	The Language of Social Software Abstract Computer software is written in languages like C, Java or Haskell. In many cases social software is expressed in natural language. The paper explores connections between the area Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:00 Mathematics Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Golden ratio Philosophy of mathematics Linear temporal logic Model theory Formal languages Logic
828	Verifying Epistemic Protocols under Common Knowledge Yanjing Wang Lakshmanan Kuppusamy Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:56:05 Linear temporal logic Μ operator Model theory Operator theory Mathematics Function Mathematical logic
829	Comments on ‘Modal Fixed Point Logic and Changing Models’ Jan van Eijck August 2007 This is indeed a very nice draft that I have read with great pleasure, and that has helped me to better understand the completeness Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:37:15 Model theory Propositional calculus Formal languages Substitution Interpretation Modal logic Epistemic modal logic Completeness Linear temporal logic Logic Mathematical logic Metalogic
830	Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Semantics Ontology Linear temporal logic CTL* Kripke semantics Abox Tbox Interpretation Logic Mathematical logic Philosophy of language

UPDATE